msg-form{i:l}  Type{i'} 

latex

Definitions	Top, t  T, Id, x. t(x), x:A. B(x), a:A fp B(a), Knd, IdLnk, MsgAForm
Lemmas	IdLnk wf, Knd wf, fpf wf, Id wf, top wf